home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / tex-k / tex-k-archive.past / tex-k-archive.gz / tex-k-archive / 000478_jules%jps.co.u…ouk.demon.co.uk_Mon Apr 11 05:51:48 1994.msg < prev    next >
Internet Message Format  |  1994-10-11  |  2KB
  1. Received: from post.demon.co.uk by cs.umb.edu with SMTP id AA10007
  2.   (5.65c/IDA-1.4.4 for <tex-k@cs.umb.edu>); Mon, 11 Apr 1994 05:51:48 -0400
  3. Received: from jpscouk.demon.co.uk by post.demon.co.uk id aa21796;
  4.           9 Apr 94 16:43 GMT-60:00
  5. Received: by tuscan
  6.     (1.37.109.8/16.2) id AA06027; Sat, 9 Apr 1994 16:40:09 +0100
  7. From: Julian Perry <jules@jps.co.uk>
  8. Subject: Improvements to dvilj...
  9. To: tex-k@cs.umb.edu
  10. Date: Sat, 9 Apr 94 16:40:08 BST
  11. Mailer: Elm [revision: 70.85]
  12. Message-Id:  <9404091643.aa21796@post.demon.co.uk>
  13.  
  14.  
  15. Appended below are some very small diffs to allow dvilj to read from a
  16. dvi file that does not have a .dvi extension - xdvi can do this, why
  17. shouldn't dvilj?
  18.  
  19. Also the changes allow files like fred.bert.dvi to be userd correctly.
  20.  
  21. Jules
  22. --
  23. E-Mail:         jules@jps.co.uk
  24. In-Real-Life:   Julian Perry
  25. Organisation:   JPS.CO.UK Limited
  26. Address:        48 Criffel Ave, Streatham Hill, London, UK, SW2 4BN
  27.  
  28.  
  29. *** dvi2xx.c.in    Sat Apr  9 15:44:12 1994
  30. --- dvi2xx.c    Sat Apr  9 16:29:13 1994
  31. ***************
  32. *** 1769,1775 ****
  33.   
  34.               (void) strcpy(curname, tcp);
  35.               /* split into file name + extension */
  36. !             tcp1 = strchr(tcp, '.');
  37.               if (tcp1 == NULL) {
  38.                   (void) strcpy(rootname, curname);
  39.                   strcat(curname, ".dvi");
  40. --- 1769,1775 ----
  41.   
  42.               (void) strcpy(curname, tcp);
  43.               /* split into file name + extension */
  44. !             tcp1 = strrchr(tcp, '.');
  45.               if (tcp1 == NULL) {
  46.                   (void) strcpy(rootname, curname);
  47.                   strcat(curname, ".dvi");
  48. ***************
  49. *** 1783,1790 ****
  50.               (void) strcat(filename, curname);
  51.   
  52.               if ((dvifp = BINOPEN(filename)) == NULL)  {
  53. !                 Fatal("%s: can't find DVI file \"%s\"\n\n",
  54. !                        G_progname, filename);
  55.               }
  56.           }
  57.           argind++;
  58. --- 1783,1796 ----
  59.               (void) strcat(filename, curname);
  60.   
  61.               if ((dvifp = BINOPEN(filename)) == NULL)  {
  62. !         if (tcp1 == NULL)  {
  63. !             curname[strlen (curname) - 4] = '\0';
  64. !             filename[strlen (filename) - 4] = '\0';
  65. !         }
  66. !         if (tcp1 != NULL || (dvifp = BINOPEN(filename)) == NULL)  {
  67. !             Fatal("%s: can't find DVI file \"%s\"\n\n",
  68. !                G_progname, filename);
  69. !         }
  70.               }
  71.           }
  72.           argind++;
  73.  
  74.